Let Gi be a collection of n finite cyclic groups.  Then  is cyclic if and only if |Gi| and |Gj| are relatively prime when i ≠ j.